Disable bug buddy; otherwise we just hang on crash instead of restarting old panel

svn path=/trunk/; revision=33

diff --git a/scripts/launcher.py b/scripts/launcher.py
index 31e906a34fe925f47da9fdf30c4c58dc121dae59..45325ae7b3e4b24e0b9eba6e97fc680ec2f2af9d 100644 (file)
--- a/scripts/launcher.py
+++ b/scripts/launcher.py
@@ -54,7 +54,8 @@ class Launcher:
         env=dict(os.environ)
         env.update({'GNOME_SHELL_JS'  : self.js_dir,
                     'GI_TYPELIB_PATH' : self.plugin_dir,
-                    'LD_LIBRARY_PATH' : os.environ.get('LD_LIBRARY_PATH', '') + ':' + self.plugin_dir})
+                    'LD_LIBRARY_PATH' : os.environ.get('LD_LIBRARY_PATH', '') + ':' + self.plugin_dir,
+                    'GNOME_DISABLE_CRASH_DIALOG' : '1'})
 
         if use_tfp:
             # If we have NPOT textures, then we want to use GLX_EXT_texture_from_pixmap; in